Weak modular Zilber–Pink with derivatives
نویسندگان
چکیده
In unpublished notes Pila proposed a Modular Zilber-Pink with Derivatives (MZPD) conjecture, which is type statement for the modular $j$-function and its derivatives. this article we define D-special varieties, then state prove two functional (differential) analogues of MZPD conjecture those varieties. particular, weak version MZPD. As special case our results, obtain Andr\'e-Oort statement. The main tools used in paper come from (model theoretic) differential algebra complex analytic geometry, Ax-Schanuel theorem derivatives (established by Tsimerman) plays crucial role proofs. proof second also use an Existential Closedness equation $j$-function.
منابع مشابه
Modular Ax-Lindemann-Weierstrass with Derivatives
In a recent paper I established an analogue of the Lindemann-Weierstrass part of Ax-Schanuel for the elliptic modular function. Here I extend this to include its first and second derivatives. A generalisation is given that includes exponential and Weierstrass elliptic functions as well. 2000 Mathematics Subject Classification: 11G18, 03C64
متن کاملA dévissage theorem for modular exact categories with weak equivalences
In this note, we will introduce a notion of modularity of exact categories due to Masana Harada [Har05]. The naming is coming from the classical modular lattices theory [Bir48]. We will also state and prove so-called “homotopy Grayson-Staffeldt-Jordan-Hölder theorem” which is implicitly appeared in [Gra87] and [Sta89]. The theorem says contractibility of a simplicial set associated to a certain...
متن کاملModular Proof Systems for Partial Functions with Weak Equality
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pure, only involving clauses over the alphabet of either one, but not both, of the theories. The calculus is shown to be complete provided that functions that are not in the intersection of the component signatures are d...
متن کاملExtensions of Some Fixed Point Theorems for Weak-Contraction Mappings in Partially Ordered Modular Metric Spaces
The purpose of this paper is to establish fixed point results for a single mapping in a partially ordered modular metric space, and to prove a common fixed point theorem for two self-maps satisfying some weak contractive inequalities.
متن کاملModular Reasoning, and Weak Behavioral Subtyping
Existing work on behavioral subtyping either ignores aliasing or restricts the behavior of additional methods in a subtype and only allows one to use invariants and history constraints in reasoning. This prevents many useful subtype relationships; for example, a type with immutable objects (e.g., immutable sequences), cannot have a behavioral subtype with mutable objects (e.g., mutable arrays)....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematische Annalen
سال: 2021
ISSN: ['1432-1807', '0025-5831']
DOI: https://doi.org/10.1007/s00208-021-02213-7